منابع مشابه
First results from the Thomson scattering diagnostic on proto-MPEX.
A Thomson scattering (TS) diagnostic has been successfully implemented on the prototype Material Plasma Exposure eXperiment (Proto-MPEX) at Oak Ridge National Laboratory. The diagnostic collects the light scattered by plasma electrons and spectroscopically resolves the Doppler shift imparted to the light by the velocity of the electrons. The spread in velocities is proportional to the electron ...
متن کاملOperational semantics of proto
The Proto spatial computing language [1] simplifies the creation of scalable, robust, distributed programs by abstracting a network of locally communicating devices as a continuous geometric manifold. However, Proto’s successful application in a number of domains is challenging its coherence across different platforms and distributions. We thus present a complete operational semantics for the P...
متن کاملOperational Domain Systems Engineering
Recently in the INCOSE Insight, Fellow’s Edition, Jeffrey O. Grady [1] discussed Robert E. Machol’s 1965 concept of the “T-Shaped” domain knowledge of the systems engineer. He challenged that in reality, most systems engineers are somewhat broader in knowledge than just their core discipline. In effect, there is a movement to become “domain” systems engineers with general knowledge of the vario...
متن کاملMPEx: a tool for exploring membrane proteins.
Hydropathy plot methods form a cornerstone of membrane protein research, especially in the early stages of biochemical and structural characterization. Membrane Protein Explorer (MPEx), described in this article, is a refined and versatile hydropathy-plot software tool for analyzing membrane protein sequences. MPEx is highly interactive and facilitates the characterization and identification of...
متن کاملFrom Operational Semantics to Domain Theory
This paper builds domain theoretic concepts upon an operational foundation. The basic operational theory consists of a single step reduction system from which an operational ordering and equivalence on programs are deened. The theory is then extended to include concepts from domain theory, including the notions of directed set, least upper bound, complete partial order, monotonicity, continuity...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fusion Engineering and Design
سال: 2018
ISSN: 0920-3796
DOI: 10.1016/j.fusengdes.2018.03.064